Traces over Topological Spaces in Concurrent Security Protocols
نویسندگان
چکیده
منابع مشابه
Sheaves over Topological Spaces
The category of sheaves over a topological space has a rich internal logic, but they also have a very rich geometric interpretation. In these notes I review the basic notions of sheaves over topological spaces, with an emphasis on the geometry of sheaves. I prove that sheaves are toposes, present the proof of the equivalence between the category of sheaves over X and the set of local homeomorph...
متن کاملχ-Spaces: Programming Security Protocols
We introduce χ-Spaces, a domain specific programming language tailored to the development of security protocols. χ-Spaces has a rigorous formal semantics which allows us to reason about the actual implementation of security protocols. In this manner we fill-in the gap between the formal specification of a protocol and its actual implementation.
متن کاملTopological Logics over Euclidean Spaces
In this paper we prove some results on the computational complexity of standard quantifierfree spatial logics with the connectedness predicate interpreted over the Euclidean spaces R and R. Topological logics with connectedness. A topological logic is a formal language whose variables range over subsets of topological spaces, and whose non-logical primitives denote fixed topological properties ...
متن کاملDeveloping security protocols in χ-Spaces
It is of paramount importance that a security protocol effectively enforces the desired security requirements. The apparent simplicity of informal protocol descriptions hides the inherent complexity of their interactions which, often, invalidate informal correctness arguments and justify the effort of formal protocol verification. Verification, however, is usually carried out on an abstract mod...
متن کاملMETACOMPACTNESS IN L-TOPOLOGICAL SPACES
In this paper the concept of metacompactness in L-topologicalspaces is introduced by means of point finite families of L-fuzzy sets. Thisfuzzy metacompactness is a natural generalization of Lowen fuzzy compactness.Further a characterization of fuzzy metacompactness in the weakly inducedL-topological spaces is also obtained.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information Technology Journal
سال: 2013
ISSN: 1812-5638
DOI: 10.3923/itj.2013.4818.4822